Edge details

Results from ConceptNet 5.8

Source: DBPedia 2015
de isabelle (n, theorembeweiser)
― Synonym ⟶
Weight: 0.5
en isabelle (n, proof_assistant) Source: DBPedia 2015
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.